TAGs: Compound inequality solver